📊 Static Analysis

Linting, Code Quality, Abstract Interpretation, Data Flow, Abstract Interpretation, Data Flow Analysis, Program Analysis, Verification

Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·6h·
Discuss: DEV
⚡Performance Tools
PEGTL -- Parsing Expression Grammar Template Library
github.com·15h·
Discuss: Hacker News
🔗Parser Combinators
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·10h
🔍Concolic Testing
Mastering Malware Analysis: A SOC Analyst’s Guide to Dynamic Analysis with AnyRun
infosecwriteups.com·6h
🦠Malware Analysis
What Is Wrong with Statement Coverage
bullseye.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·28m·
Discuss: DEV
📏Code Metrics
What Is "Modern" Programming?
lemire.me·2h·
Discuss: Hacker News
💧Liquid Types
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·4h·
Discuss: Hacker News, r/programming
🔗Lisp
Programming Entry Level: how to interpreter
dev.to·15h·
Discuss: DEV
🔗Lisp
Program Execution, follow-up
windowsir.blogspot.com·2h·
Discuss: www.blogger.com
⚡Performance Tools
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·13h·
Discuss: Hacker News
🦀Rust Macros
The collective waste caused by poor documentation
shanrauf.com·12h·
Discuss: Hacker News
📦Deflate
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Build a Data Cleaning & Validation Pipeline in Under 50 Lines of Python
kdnuggets.com·1d
✅Archive Validation
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·8h
📝Concrete Syntax
How much slower is random access, really?
samestep.com·1d·
Discuss: Hacker News
📼Tape Encoding
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·1d·
Discuss: Hacker News, r/javascript, r/webdev
🦀Rust Macros
Field Sensitive Escape Analysis in Golang?
reddit.com·9h·
Discuss: r/golang
🧠Lisp Dialects
Machine Learning Fundamentals: accuracy with python
dev.to·23h·
Discuss: DEV
👁️Observatory Systems